State constrained reachability for stochastic hybrid systems
نویسندگان
چکیده
منابع مشابه
State constrained reachability for stochastic hybrid systems
The stochastic hybrid systems constitute well established classes of realistic models of hybrid discrete/continuous dynamics subject to random perturbations, autonomous uncontrollable transitions, nondeterminism or uncertainty. Stochastic reachability analysis is a key factor in the verification and deployment of stochastic hybrid systems. The encouraging recent progress prompts us to refine th...
متن کاملState-Constrained Stochastic Optimal Control Problems via Reachability Approach
This paper deals with a class of stochastic optimal control problems (SOCP) in presence of state-constraints. It is well-known that for such problems the value function is, in general, discontinuous and its characterization by a Hamilton-Jacobi equation requires additional assumptions involving an interplay between the boundary of the set of constraints and the dynamics of the controlled system...
متن کاملStochastic Reachability: From Markov Chains to Stochastic Hybrid Systems
Stochastic hybrid systems represent established classes of realistic models of hybrid dynamics subject to random perturbations, autonomous uncontrollable transitions, nondeterminism or uncertainty. Stochastic reachability analysis is a key factor in the verification and deployment of stochastic hybrid systems. In this paper, we tackle the stochastic reachability problem from a purely probabilis...
متن کاملVerification of probabilistic bounded $\delta$-reachability for stochastic hybrid systems
Verification of cyber-physical systems is a difficult, yet extremely important, problem. Hybrid systems offer a theoretical framework in which to perform formal verification of cyberphysical systems. In this paper we study the problem of bounded δ-reachability in hybrid systems with random initial parameters. We devise a technique for computing reachability probabilities over a finite number of...
متن کاملComputational Methods for Reachability Analysis of Stochastic Hybrid Systems
Stochastic hybrid system models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reachability properties for such systems is a critical problem. Developing algorithms for reachability analysis is challenging because of the interaction between the discrete and continuous stochastic dynamics. In this paper, we ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nonlinear Analysis: Hybrid Systems
سال: 2011
ISSN: 1751-570X
DOI: 10.1016/j.nahs.2010.10.008